\section{Абстрактный синтаксис языка L}

$$
X \mbox{ --- счетно-бесконечное множество переменных}
$$

$$
\otimes=\{\llang{+}, \llang{-}, \llang{*}, \llang{/}, \llang{\%}, \llang{==}, \llang{!=}, 
\llang{>}, \llang{>=}, \llang{<}, \llang{<=}, \llang{\&\&}, \llang{||}\}
$$

\begin{itemize}
\item Выражения: $\fancy{E}=X\cup\NN\cup(\fancy{E}\otimes\fancy{E})$
\item Операторы: 

$$
\begin{array}{rll}
  \fancy{S}=&\llang{skip}&\cup\\
            &X\;\llang{:=}\;\fancy{E}&\cup\\
            &\fancy{S}\;\llang{;}\;\fancy{S}&\cup\\
            &\llang{write}\;\fancy{E}&\cup\\
            &\llang{read}\;\fancy{E}&\cup\\
            &\llang{while}\;\fancy{E}\;\llang{do}\;\fancy{S}&\cup\\
            &\llang{if}\;\fancy{E}\;\llang{then}\;\fancy{S}\;\llang{else}\;\fancy{S}
\end{array}
$$
\item Программы: $\fancy{P}=\fancy{S}$
\end{itemize}

